home *** CD-ROM | disk | FTP | other *** search
/ SPACE 2 / SPACE - Library 2 - Volume 1.iso / utility / 252 / gemsrc / filename.def < prev    next >
Encoding:
Modula Definition  |  1988-02-13  |  1.0 KB  |  43 lines
  1. DEFINITION MODULE FileName;
  2.  
  3.  
  4.    TYPE String = ARRAY [0..15] OF CHAR;
  5.  
  6.  
  7.    PROCEDURE BuildFileName (
  8.       VAR Directory    : (* IN *)  ARRAY OF CHAR;
  9.       VAR FileNameBody : (* IN *)  ARRAY OF CHAR;
  10.       VAR FullFileName : (* OUT *) ARRAY OF CHAR );
  11.  
  12.       (* Build a file name from it's components. *)
  13.  
  14.  
  15.    PROCEDURE GetDirectory (
  16.       VAR FullFileName : (* IN *)  ARRAY OF CHAR;
  17.       VAR Directory    : (* OUT *) ARRAY OF CHAR );
  18.  
  19.       (* Extract the directory from a FullFileName *)
  20.  
  21.  
  22.    PROCEDURE GetFileName (
  23.       VAR FullFileName : (* IN *)  ARRAY OF CHAR;
  24.       VAR FileNameBody : (* OUT *) ARRAY OF CHAR );
  25.  
  26.       (* Extract the filename body from a FullFileName *)
  27.  
  28.  
  29.    PROCEDURE GetExtension (
  30.       VAR FullFileName : (* IN *)  ARRAY OF CHAR;
  31.       VAR Extension    : (* OUT *) ARRAY OF CHAR );
  32.  
  33.       (* Extract the extension from a FullFileName *)
  34.  
  35.  
  36.    PROCEDURE Exists ( VAR File : (* IN *) ARRAY OF CHAR ) : BOOLEAN;
  37.  
  38.       (* Returns TRUE if the file exists *)
  39.  
  40.  
  41. END FileName.
  42.  
  43.